DUGi: Llistar Títols | (dc.creator:"Palahí i Sitges, Miquel" OR dc.contributor:"Palahí i Sitges, Miquel" OR dc.contributor.other:"Palahí i Sitges, Miquel")

Llistar Títols

S'han trobat 9 ítems

Llistant ítems des de 0 a 9:

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	10 desembre 2015	Reformulation of constraint models into SMT	Palahí i Sitges, Miquel
		Reformulation of constraint models into SMT	Palahí i Sitges, Miquel
	2009	SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2012	Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	1 gener 2013	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu